Introduction to artificial intelligence (concepts, research areas and applications), Propositional logic, First order logic, Representing simple domains in First order logic, Logic programming (Prolog), Exhaustive search methods; Heuristic and evolutionary search methods; Production systems; Architecture of expert systems; Model- versus rule-based reasoning. Machine Learning and Data Mining (K-means clustering, nearest neighbor classification, Naive Bayesian, Decision trees)